First Order Theories of Individual Concepts and Propositions
نویسنده
چکیده
We discuss first order theories in which individual concepts are admitted as mathematical objects along with the things that reify them. This allows very straightforward formalizations of knowledge, belief, wanting, and necessity in ordinary first order logic without modal operators. Applications are given in philosophy and in artificial intelligence. We do not treat general concepts, and we do not present any full axiomatizations but rather show how various facts can be expressed.
منابع مشابه
مطالعه تطبیقی چگونگی مواجهه پری و هامون (در آثار مهرجویی) با امر نمادین لاکانی
In the present research it is investigating two outstanding movies of Iranian cinema through the philosophical-psychological theories of Jacques Lacan. Pari and Hamoon are both made by the Iranian prominent filmmaker, Dariush Mehrjui. The protagonists of both movies are characters who represent psychological perplexity and disorderliness of the modern individual. In his theories, Lacan deeply a...
متن کاملCollaborative Information Seeking Behavior: Concepts and Theories
Background and Aim: Collaborative information seeking is an interaction among members of a group who purposefully try to access and share joint information. Although collaboration is a key component of information seeking behavior, but most of the studies in this area are focused on individual information seeking behavior and collaborative aspects are considered much less. As a result, there is...
متن کاملاصول اخلاقی در آموزش پزشکی از دیدگاه آیات و روایات
Professional ethics is a part of the ethics of the individual component of each discipline. Whether it is in the field of medicine from the viewpoint of the Qur'an and the traditions, or how this context is discussed, is the focus of this article. With reference to the most important principles of the principles governing the medical education system, we are going to explain these principles. T...
متن کاملCommon theories
By a theory we mean a subset of propositions that is closed under consequences and conjunctions. When the set of all propositions is a Boolean algebra, theories are filters in this algebra. When there are several theorists, they can also have theories about what theories the other theorists subscribe to. The problem is then, if we can find a “complete set of theories”, in the sense that this se...
متن کاملWhat is information? with an Emphasis on Zins’s Views
Purpose: The aim of this paper is to explore some important views and theories of information and knowledge in the area of library and information science (LIS) and then to propose a new model of information and knowledge. Method: This research has been conducted by using a comparative content analysis of the existing materials on conceptualizations and definitions of information and knowledge...
متن کامل